SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "id:"swepub:oai:research.chalmers.se:dd6b81f5-0b4f-400f-af85-85bbcce1af89" "

Sökning: id:"swepub:oai:research.chalmers.se:dd6b81f5-0b4f-400f-af85-85bbcce1af89"

  • Resultat 1-1 av 1
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Malik, R., et al. (författare)
  • Modelling large-scale discrete-event systems using modules, aliases, and extended finite-state automata
  • 2011
  • Ingår i: IFAC Proceedings Volumes (IFAC-PapersOnline). - 1474-6670. - 9783902661937 ; 18:PART 1, s. 7000-7005
  • Konferensbidrag (refereegranskat)abstract
    • This paper describes the instantiation features currently implemented in the discrete-event systems modelling and analysis tool Supremica. Modules enable users to design reusable groups of related automata and define clear interfaces to describe their interaction. Parametrisation and repetition make it easy to design very large models of regular structure. In combination with its support for extended finite-state automata (EFA), these features enable Supremica users to develop highly complex models of discrete-event systems using a wide variety of modelling styles.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-1 av 1
Typ av publikation
konferensbidrag (1)
Typ av innehåll
refereegranskat (1)
Författare/redaktör
Fabian, Martin, 1960 (1)
Malik, R (1)
Åkesson, Knut, 1972 (1)
Lärosäte
Chalmers tekniska högskola (1)
Språk
Engelska (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (1)
År
2011 (1)

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