SwePub
Sök i LIBRIS databas

  Utökad sökning

id:"swepub:oai:DiVA.org:mdh-47774"
 

Sökning: id:"swepub:oai:DiVA.org:mdh-47774" > Model-based functio...

Model-based functional verification & validation of complex train control systems : an on-board system testing case-study

De Nicola, Giuseppe (författare)
Flammini, Francesco, Senior Lecturer, 1978- (författare)
CPS
Mazzocca, Nicola (författare)
visa fler...
Orazzo, Antonio (författare)
visa färre...
 (creator_code:org_t)
2005
2005
Engelska.
Ingår i: Archives of Transport. - 0866-9546. ; 17:3-4, s. 163-176
  • Tidskriftsartikel (refereegranskat)
Ämnesord
Stäng  

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap -- Datorseende och robotik (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Sciences -- Computer Vision and Robotics (hsv//eng)

Nyckelord

Informations- och programvisualisering
Information and software visualization

Publikations- och innehållstyp

ref (ämneskategori)
art (ämneskategori)

Hitta via bibliotek

Till lärosätets databas

Sök utanför SwePub

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.

 
pil uppåt Stäng

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