Rigorous Component-Based System Design Using the BIP Framework

Ananda Basu

doi:10.1109/MS.2011.27

2011-05-01

180

DOI：10.1109/MS.2011.27

原文链接

摘要

Keyword:

VERIFICATION

期刊

IEEE Software

IF:

论文数:

3.2K

被引数:

3.7K

机构

暂无机构信息

引用论文

Direct recordings in human cortex reveal the dynamics of gamma-band [50–150Hz] activity during pursuit eye movement control

NeuroImage

IF0

2012-10-01

PREAI

Julien Bastin; Pierre Lebranchu; Karim Jerbi; Philippe Kahane; Guy Orban; Jean-Philippe Lachaux; Alain Berthoz

The Variation of the Capillary Action of Solutions with Time

The Journal of Physical Chemistry

IF0

2002-05-01

PREAI

H. M. Trimble

Chemical Synthesis and Biological Applications of O‐GlcNAcylated Peptides and Proteins

ChemBioChem

IF0

2021-03-03

PREAI

Jessica M. Groenevelt; Daniel J. Corey; Charlie Fehl

Mixture diffusion in zeolites studied by MAS PFG NMR and molecular simulation

Microporous and Mesoporous Materials

IF0

2007-09-01

PREAI

Moises Fernandez; Jörg Kärger; Dieter Freude; André Pampel; J.M. van Baten; R. Krishna

Infection and pyospermia in male infertility

World Journal of Urology

IF0

1993-05-01

PREAI

N. Bar-Chama; H. Fisch