Search Sciweavers | Sciweavers

1728 search results - page 8 / 346

» Formal Modeling of Process Migration

144

Voted

TSE
2002

87views more TSE 2002»

A Formal Model of the Software Test Process

15 years 5 months ago

Download www.cs.purdue.edu

João W. Cangussu, Raymond A. DeCarlo, Adity...

claim paper

Read More »

116

click to vote

EDOC
2002
IEEE

102views Distributed And Parallel Com...» more EDOC 2002»

From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods

15 years 10 months ago

Download www.zurich.ibm.com

Jana Koehler, Giuliano Tirenni, Santhosh Kumaran

claim paper

Read More »

143

click to vote

ISSS
1997
IEEE

59views Hardware» more ISSS 1997»

Derivation of Formal Representations from Process-Based Specification and Implementation Models

15 years 10 months ago

Download www.cs.york.ac.uk

Steven Vercauteren, Diederik Verkest, Gjalt G. de ...

claim paper

Read More »

149

Voted

FOIS
2001

107views Information Technology» more FOIS 2001»

A formal foundation for process modeling

15 years 7 months ago

Download philebus.tamu.edu

Christopher Menzel, Michael Grüninger

claim paper

Read More »

118

click to vote

IJCINI
2008

68views more IJCINI 2008»

Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers