Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
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 .
EURO-PAR 2011 PARALLEL PROCESSING, PT 1,
2495 275-286.
Share this citation
Twitter
Email
Yu, HQ, He, XD, Deng, Y
et al
. (2002). Formal analysis of real-time systems with SAM .
EURO-PAR 2011 PARALLEL PROCESSING, PT 1,
2495 275-286.
Copy Citation
Share
International Collaboration
Overview
Research
Location
Identifiers
Additional Document Info
View All
Overview
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
DISTRIBUTED COMPUTING (DISC 2014)
Book
Research
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
Location
Location
SHANGHAI, PEOPLES R CHINA
Identifiers
International Standard Book Number (ISBN) 10
3-540-00029-1
Additional Document Info
Conference
4th International Conference on Formal Engineering Methods (ICFEM 2002)
publisher
SPRINGER-VERLAG BERLIN
start page
275
end page
286
volume
2495