Search Sciweavers | Sciweavers

34 search results - page 3 / 7

» maude 2007

click to vote

JOT
2007

57views more JOT 2007»

Formal and Tool Support for Model Driven Engineering with Maude

13 years 5 months ago

Download www.jot.fm

José Raúl Romero, José Eduard...

claim paper

Read More »

click to vote

ENTCS
2007

178views more ENTCS 2007»

Recent Advances in Real-Time Maude

13 years 5 months ago

Download folk.uio.no

This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal speciﬁcation and analysis of object-...

Peter Csaba Ölveczky, José Meseguer

claim paper

Read More »

click to vote

ENTCS
2007

86views more ENTCS 2007»

Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer

13 years 5 months ago

Download users.dsic.upv.es

Santiago Escobar, Catherine Meadows, José M...

claim paper

Read More »

click to vote

ENTCS
2007

75views more ENTCS 2007»

Maude MSOS Tool

13 years 5 months ago

Download maude-msos-tool.sourceforge.net

Fabricio Chalub, Christiano Braga

claim paper

Read More »

click to vote

ENTCS
2007

158views more ENTCS 2007»

Abstraction and Completeness for Real-Time Maude

13 years 5 months ago

Download folk.uio.no

ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...

Peter Csaba Ölveczky, José Meseguer

claim paper

Read More »

« Prev « First page 3 / 7 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers