Formal analysis of real-time systems with SAM

Edit Your Profile

Formal analysis of real-time systems with SAM Conference

Yu, HQ, He, XD, Deng, Y et al. (2002). Formal analysis of real-time systems with SAM . Lecture Notes in Computer Science, 2495 275-286.

International Collaboration

cited authors

Yu, HQ; He, XD; Deng, Y; Mo, LA

authors

He, Xudong

date/time interval

October 21, 2002 -

publication date

January 1, 2002

webpage

https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000181471000030&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=e451fd656366bf1ec5554941920a9ccb

published in

Lecture Notes in Computer Science Journal

keywords

Computer Science
Computer Science, Artificial Intelligence
Computer Science, Software Engineering
PETRI NETS
Petri net
SAM
Science & Technology
Technology
analysis
model
real-time system
temporal logic

International Standard Book Number (ISBN) 10

3-540-00029-1

start page

275

end page

286

volume

2495