Skip to search formSkip to main contentSkip to account menu

ROMEO

Roméo is an integrated tool environment for modeling, validation and verification of real-time systems modeled as time Petri Nets or stopwatch Petri… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
C++List of model checking toolsMicrosoft WindowsModel checking

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Walking pattern generators designed for physical collaboration
This paper is about the design of humanoid walking pattern generators to be used for physical collaboration. A particular use… 
2014
2014
Una guía para el investigador sobre derechos de autor
Todas las legislaciones del mundo referidas a propiedad intelectual resguardan el derecho de un autor sobre su obra, excepto que… 
2014
2014
Sometimes it is Better Not to be Unique: The U.S. Department of State View on Intercountry Adoption and Child Trafficking and Why it Should Change
Thousands of children are brought to the United States through the intercountry adoption1 process every year.2 Most of these… 
2013
2013
Self-stabilizing k-hops clustering algorithm for wireless ad hoc networks
Most Ad Hoc networks use communications based on diffusion that are typically expensive and may cause network saturation. In… 
2013
2013
An media aware platform for real-time stereoscopic video streaming adaptation
Stereoscopic video streaming is emerging as an important technology for future multimedia services. The delivery of real-time… 
2012
2012
A model of network related QoE for 3D video
Three Dimensional video quality comprises a variety of perceptual attributes, including overall image quality, naturalness… 
Review
2009
Review
2009
Item-level usage statistics: A review of current practices and recommendations for normalization and exchange
Purpose – The purpose of this paper is to present how the JISC Usage Statistics Review Project aims to formulate a fundamental… 
Review
2008
Review
2008
Abstract State Spaces for Time Petri Nets Analysis
The paper is organized as follows. Section 2 reviews the terminology of time Petri nets and the definitions of their state spaces… 
2006
2006
Accommodation of ethanol, acetone and benzaldehyde by the liquid vapor interface of water: A molecular dynamics study
2005
2005
The Effectiveness of ESC (Electronic Stability Control) in Reducing Real Life Crashes and Injuries
ESC (Electronic Stability Control) was introduced on the mass market in 1998. Since then, several studies showing the positive… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)