3 search results - page 1 / 1 » An Easily Extensible Toolset for Tabular Mathematical Expres... |
TACAS
1999
Springer
13 years 9 months ago
1999
Springer
STTT
2010
13 years 3 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
JAIR
2007
13 years 5 months ago
2007
In the recent years several research efforts have focused on the concept of time granularity and its applications. A first stream of research investigated the mathematical model...