1st International Symposium on Leveraging Applications of Formal Methods (ISoLA'04)

View Statistics Email Alert RSS Feed

Description

Event name
1st International Symposium on Leveraging Applications of Formal Methods (ISoLA'04)
 
Event type
Event for scientific audience
 
Start date
30-10-2004
End date
02-11-2004
 
Location
Paphos
Country
Cyprus
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Quinlan, Dan ; Schordan, Markus ; Yi, Qing ; Saebjornsen, Andreas Classification and Utilization of Abstractions for OptimizationKonferenzbeitrag Inproceedings 2006
2Schmied, Fabian ; Kühn, Eva Distributed Peer-to-Peer Application Development with Declarative and Aspect-Oriented TechniquesKonferenzbeitrag Inproceedings 2004
3Abe, Rey ; Beinhart, Martin ; Biffl, Stefan ; Kühn, Eva ; Ly, Markus ; Thurnher, Bettina Need for Rigorous Methods and Tools in Collaborative Mobile Software Solutions - a Use Case Study on a "Travel Service Application"Konferenzbeitrag Inproceedings2004