Search Sciweavers | Sciweavers

5525 search results - page 104 / 1105

» Verification of Model Transformations

101

Voted

ERCIM
2007

73views more ERCIM 2007»

Formal Modelling and Verification in Service-Oriented Computing

15 years 3 months ago

Download fmt.isti.cnr.it

Maurice H. ter Beek, Stefania Gnesi, Fabio Martine...

claim paper

Read More »

click to vote

PCS
2008

45views more PCS 2008»

Modeling, specification, and verification of automaton programs

15 years 3 months ago

Download is.ifmo.ru

E. V. Kuzmin, Valery A. Sokolov

claim paper

Read More »

click to vote

SOSYM
2008

63views more SOSYM 2008»

Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool

15 years 3 months ago

Download research.microsoft.com

Pierre Combes, David Harel, Hillel Kugler

claim paper

Read More »

112

click to vote

CN
2004

82views more CN 2004»

Modelling and verification of interworking between SIP and H.323

15 years 3 months ago

Download users.encs.concordia.ca

Ligang Wang 0002, Anjali Agarwal, J. William Atwoo...

claim paper

Read More »

click to vote

AUTOMATICA
1999

50views more AUTOMATICA 1999»

Verification of logic controllers for continuous plants using timed condition/event-system models

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers