1. Formal modeling and analysis of timed system
پدیدآورنده : / Franck Cassez, Claude Jard (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer simulation--Congresses,Temporal automata--Congresses,Formal methods (Computer science)--Congresses
2. Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000
پدیدآورنده : Franck Cassez ... )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2067
