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 . EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 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

DISTRIBUTED COMPUTING (DISC 2014) Book

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

SHANGHAI, PEOPLES R CHINA

International Standard Book Number (ISBN) 10

3-540-00029-1

Conference

4th International Conference on Formal Engineering Methods (ICFEM 2002)

publisher

SPRINGER-VERLAG BERLIN

start page

275

end page

286

volume

2495