↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Sökning: WFRF:(Fersman Elena) > Tools for Real-Time...

Tools for Real-Time UML: Formal Verification and Code Synthesis

Amnell, Tobias (författare)

David, Alexandre (författare)

Fersman, Elena (författare)

Möller, Oliver (författare)

Pettersson, Paul (författare): Uppsala universitet,Institutionen för informationsteknologi,Datorteknik

Yi, Wang (författare): Uppsala universitet,Institutionen för informationsteknologi,Datorteknik

(creator_code:org_t)

2001
2001
Engelska.
Ingår i: Proceedings of the Workshop on Specification, Implementation and Validation of Object-oriented Embedded Systems.

Relaterad länk:: https://urn.kb.se/re...

Konferensbidrag (populärvet., debatt m.m.)

Ämnesord

Stäng

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...: Amnell, Tobias; David, Alexandre; Fersman, Elena; Möller, Oliver; Pettersson, Paul; Yi, Wang

Artiklar i publikationen: Proceedings of t ...

Av lärosätet: Uppsala universitet

Sök utanför SwePub

Sök vidare i:: Google; Google Book Search; Google Scholar

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem
LIBRIS.kb.se

pil uppåt

Stäng

Kopiera och spara länken för att återkomma till aktuell vy