scholarly journals J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols

2007 ◽  
Author(s):  
Ahmed Sobeih ◽  
Mahesh Viswanathan ◽  
Darko Marinov ◽  
Jennifer C. Hou
Keyword(s):  
Model Checking ◽  
Network Protocols ◽  
Integrated Environment

NetPrIDE an integrated environment for developing and visualizing computer network protocols

2005 ◽  
Vol 37 (3) ◽  
pp. 306-310
Author(s):  
Pilu Crescenzi ◽  
Giorgio Gambosi ◽  
Gaia Innocenti
Keyword(s):  
Computer Network ◽  
Network Protocols ◽  
Integrated Environment

Model Checking Control Software for Nonlinear Dynamic Systems

2008 ◽  
Author(s):  
James Kapinski ◽  
Alexandre Donze ◽  
Flavio Lerda ◽  
Hitashyam Maka ◽  
Edmund Clarke ◽  
...  
Keyword(s):  
Model Checking ◽  
Dynamic Systems ◽  
Nonlinear Dynamic ◽  
Nonlinear Dynamic Systems ◽  
Control Software
Sign in / Sign up

Export Citation Format

Share Document