View in EDS PDF Full Text

Concepts of Refinement and Simulation in BPA and B-Method.

Saved in:
Bibliographic Details
Title: Concepts of Refinement and Simulation in BPA and B-Method.
Authors: Výrost, Marek1, marvy@reacode.com, Korečko, Štefan1, stefan.korecko@tuke.sk, Hudák, Štefan1, stefan.hudak@tuke.sk
Source: Journal of Computer Science & Control Systems; 2009, Vol. 2 Issue 2, p74-79, 6p, 7 Diagrams, 1 Chart
Database: Applied Science & Technology Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: aci
DbLabel: Applied Science & Technology Source
An: 51003358
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Concepts of Refinement and Simulation in BPA and B-Method.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AU" term="%22Výrost%2C+Marek%22">Výrost, Marek</searchLink><relatesTo>1</relatesTo>, <i>marvy@reacode.com</i><br /><searchLink fieldCode="AU" term="%22Korečko%2C+Štefan%22">Korečko, Štefan</searchLink><relatesTo>1</relatesTo>, <i>stefan.korecko@tuke.sk</i><br /><searchLink fieldCode="AU" term="%22Hudák%2C+Štefan%22">Hudák, Štefan</searchLink><relatesTo>1</relatesTo>, <i>stefan.hudak@tuke.sk</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Journal+of+Computer+Science+%26+Control+Systems%22">Journal of Computer Science & Control Systems</searchLink>; 2009, Vol. 2 Issue 2, p74-79, 6p, 7 Diagrams, 1 Chart
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=51003358
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 6
        StartPage: 74
    Titles:
      – TitleFull: Concepts of Refinement and Simulation in BPA and B-Method.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Výrost, Marek
      – PersonEntity:
          Name:
            NameFull: Korečko, Štefan
      – PersonEntity:
          Name:
            NameFull: Hudák, Štefan
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 10
              Text: 2009
              Type: published
              Y: 2009
          Identifiers:
            – Type: issn-print
              Value: 18446043
          Numbering:
            – Type: volume
              Value: 2
            – Type: issue
              Value: 2
          Titles:
            – TitleFull: Journal of Computer Science & Control Systems
              Type: main
ResultId 1