View in EDS PDF Full Text

Verificación formal de un modelo de simulación DEVS de una aplicación Storm.

Saved in:
Bibliographic Details
Title: Verificación formal de un modelo de simulación DEVS de una aplicación Storm.
Alternate Title: Formal verification of a DEVS simulation model of a Storm application.
Authors: Inostrosa-Psijas, Alonso1 alinostros@unap.cl, Oyarzún-Silva, Mauricio1 moyarzunsil@unap.cl, Medina-Quispe, Fernando1 femedina@unap.cl, García-Barrera, Francisco1 francgar@unap.cl, Solar-Gallardo, Roberto2 roberto.solar@usach.cl
Source: INGENIARE - Revista Chilena de Ingeniería. Dec2019, Vol. 27 Issue 4, p682-695. 14p.
Database: Academic Search Ultimate
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: asn
DbLabel: Academic Search Ultimate
An: 141890253
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Verificación formal de un modelo de simulación DEVS de una aplicación Storm.
– Name: TitleAlt
  Label: Alternate Title
  Group: TiAlt
  Data: Formal verification of a DEVS simulation model of a Storm application.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Inostrosa-Psijas%2C+Alonso%22">Inostrosa-Psijas, Alonso</searchLink><relatesTo>1</relatesTo><i> alinostros@unap.cl</i><br /><searchLink fieldCode="AR" term="%22Oyarzún-Silva%2C+Mauricio%22">Oyarzún-Silva, Mauricio</searchLink><relatesTo>1</relatesTo><i> moyarzunsil@unap.cl</i><br /><searchLink fieldCode="AR" term="%22Medina-Quispe%2C+Fernando%22">Medina-Quispe, Fernando</searchLink><relatesTo>1</relatesTo><i> femedina@unap.cl</i><br /><searchLink fieldCode="AR" term="%22García-Barrera%2C+Francisco%22">García-Barrera, Francisco</searchLink><relatesTo>1</relatesTo><i> francgar@unap.cl</i><br /><searchLink fieldCode="AR" term="%22Solar-Gallardo%2C+Roberto%22">Solar-Gallardo, Roberto</searchLink><relatesTo>2</relatesTo><i> roberto.solar@usach.cl</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22INGENIARE+-+Revista+Chilena+de+Ingeniería%22">INGENIARE - Revista Chilena de Ingeniería</searchLink>. Dec2019, Vol. 27 Issue 4, p682-695. 14p.
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=asn&AN=141890253
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: spa
        Text: Spanish
    PhysicalDescription:
      Pagination:
        PageCount: 14
        StartPage: 682
    Titles:
      – TitleFull: Verificación formal de un modelo de simulación DEVS de una aplicación Storm.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Inostrosa-Psijas, Alonso
      – PersonEntity:
          Name:
            NameFull: Oyarzún-Silva, Mauricio
      – PersonEntity:
          Name:
            NameFull: Medina-Quispe, Fernando
      – PersonEntity:
          Name:
            NameFull: García-Barrera, Francisco
      – PersonEntity:
          Name:
            NameFull: Solar-Gallardo, Roberto
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 12
              Text: Dec2019
              Type: published
              Y: 2019
          Identifiers:
            – Type: issn-print
              Value: 07183291
          Numbering:
            – Type: volume
              Value: 27
            – Type: issue
              Value: 4
          Titles:
            – TitleFull: INGENIARE - Revista Chilena de Ingeniería
              Type: main
ResultId 1