670 search results - page 5 / 134 » Real-Time Crying Simulation |
FASE
2004
Springer
13 years 11 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
IJCAI
2007
13 years 9 months ago
2007
ANSS
2008
IEEE
14 years 2 months ago
2008
IEEE
ANSS
1996
IEEE
13 years 11 months ago
1996
IEEE
ANSS
2008
IEEE
14 years 2 months ago
2008
IEEE
—Real-time network simulation refers to simulating computer networks in real time so that the virtual network can interact with real implementations of network protocols, network...