The processes a system follows when executing a program in a specific language.
forum
Submitted by Anonymous on Tue, 02/04/2014 - 4:08pm
12th International Conference on Formal Modeling and Analysis of Timed Systems
Call for Papers
http://formats2014.unifi.it/
Objective
---------
event
Submitted by Anonymous on Fri, 01/31/2014 - 11:20am
1st Formal Methods for Timing Verification Workshop
In conjunction with the 19th International Symposium on Formal Methods (FM 2014)
