Search Sciweavers | Sciweavers

4224 search results - page 67 / 845

» Reasoning about Choice

113

click to vote

AGP
1996
IEEE

97views Artificial Intelligence» more AGP 1996»

Reasoning about Concurrent Actions and Observations

15 years 9 months ago

Download centria.di.fct.unl.pt

Renwei Li, Luís Moniz Pereira

claim paper

Read More »

120

click to vote

ICSE
1997
IEEE-ACM

83views Software Engineering» more ICSE 1997»

Using Formal Methods to Reason about Architectural Standards

15 years 9 months ago

Download www.cs.virginia.edu

Kevin J. Sullivan, John Socha, Mark Marchukov

claim paper

Read More »

110

click to vote

TLCA
1997
Springer

89views Theoretical Computer Science» more TLCA 1997»

Names, Equations, Relations: Practical Ways to Reason about new

15 years 9 months ago

Download www.brics.dk

Ian Stark

claim paper

Read More »

click to vote

COOPIS
1993
IEEE

90views Information Technology» more COOPIS 1993»

Reasoning about Goals to Resolve Conflicts

15 years 9 months ago

Download comet.lehman.cuny.edu

Nancy D. Griffeth, Hugo Velthuijsen

claim paper

Read More »

103

click to vote

AMAST
1993
Springer

87views Software Engineering» more AMAST 1993»

Relation Algebras for Reasoning about Time and Space

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers